<html>
<head><meta charset="utf-8"><title>meeting 2021-03-23 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html">meeting 2021-03-23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="231533959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231533959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231533959">(Mar 23 2021 at 19:58)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>! Meeting in 2ish minutes :)</p>



<a name="231534361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534361">(Mar 23 2021 at 20:00)</a>:</h4>
<p>Okay meeting time :)</p>



<a name="231534401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534401">(Mar 23 2021 at 20:01)</a>:</h4>
<p>How's everyone doing?</p>



<a name="231534478"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534478" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534478">(Mar 23 2021 at 20:01)</a>:</h4>
<p>I'm fine, how are you Jack?</p>



<a name="231534500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534500">(Mar 23 2021 at 20:01)</a>:</h4>
<p>I'm doing good :)</p>



<a name="231534567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534567">(Mar 23 2021 at 20:02)</a>:</h4>
<p>Been looking at closures in Chalk today</p>



<a name="231534590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534590">(Mar 23 2021 at 20:02)</a>:</h4>
<p>Trying to repro and fix <a href="https://github.com/rust-lang/chalk/issues/688">chalk#688</a></p>



<a name="231534642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534642">(Mar 23 2021 at 20:02)</a>:</h4>
<p>What's everyone been up to?</p>



<a name="231534649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534649">(Mar 23 2021 at 20:02)</a>:</h4>
<p>Any announcements?</p>



<a name="231534711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534711">(Mar 23 2021 at 20:03)</a>:</h4>
<p>Not from me this week, been busy with other stuff</p>



<a name="231534777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534777">(Mar 23 2021 at 20:03)</a>:</h4>
<p>I don't have anything either</p>



<a name="231534787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534787">(Mar 23 2021 at 20:03)</a>:</h4>
<p>So, today, there's a few things we could talk about:</p>



<a name="231534872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534872">(Mar 23 2021 at 20:04)</a>:</h4>
<p>1) The rustc binder refactor and the resolve late lifetimes refactor (more useful for <span class="user-mention" data-user-id="116009">@nikomatsakis</span>)</p>



<a name="231534916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534916">(Mar 23 2021 at 20:04)</a>:</h4>
<p>2) Some potential "cleanups" that we might want to do for rustc</p>



<a name="231534921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534921">(Mar 23 2021 at 20:04)</a>:</h4>
<p>one thing I was thinking is</p>



<a name="231534935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534935">(Mar 23 2021 at 20:04)</a>:</h4>
<p>(I think we mentioned a couple last week)</p>



<a name="231534954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534954">(Mar 23 2021 at 20:04)</a>:</h4>
<p>/me waits</p>



<a name="231534956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534956">(Mar 23 2021 at 20:04)</a>:</h4>
<p>I'd like to schedule some times to do chalk coding this week</p>



<a name="231534975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534975">(Mar 23 2021 at 20:04)</a>:</h4>
<p><span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="231534986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534986">(Mar 23 2021 at 20:04)</a>:</h4>
<p>What on?</p>



<a name="231534994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231534994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231534994">(Mar 23 2021 at 20:05)</a>:</h4>
<p>I've also been talking over some crazy ideas with some people here that i might as well float here a bit :) though they're not really specific yet</p>



<a name="231535008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535008">(Mar 23 2021 at 20:05)</a>:</h4>
<p>well mostly I owe people reviews</p>



<a name="231535016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535016">(Mar 23 2021 at 20:05)</a>:</h4>
<p>I like crazy ideas</p>



<a name="231535039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535039">(Mar 23 2021 at 20:05)</a>:</h4>
<p>I was thining of scheduling some times and hopping on zoom and people can join if they want</p>



<a name="231535046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535046">(Mar 23 2021 at 20:05)</a>:</h4>
<p>having zoom will keep me accountable :P</p>



<a name="231535057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535057">(Mar 23 2021 at 20:05)</a>:</h4>
<p>notably the binder PR and the coinduction PR</p>



<a name="231535066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535066">(Mar 23 2021 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> somewhat wg-traits related, but I think <a href="https://github.com/rust-lang/rust/issues/83220">#83220</a> is probably important to review and small</p>



<a name="231535088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535088">(Mar 23 2021 at 20:05)</a>:</h4>
<p>seems to be getting hit a lot</p>



<a name="231535109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535109">(Mar 23 2021 at 20:05)</a>:</h4>
<p>I see</p>



<a name="231535168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535168">(Mar 23 2021 at 20:06)</a>:</h4>
<p>yes I've been meaning to review that</p>



<a name="231535217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535217">(Mar 23 2021 at 20:06)</a>:</h4>
<p>I think I've seen like 3 or 4 duplicate issues</p>



<a name="231535233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535233">(Mar 23 2021 at 20:06)</a>:</h4>
<p>looks like a fairly safe change</p>



<a name="231535239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535239">(Mar 23 2021 at 20:06)</a>:</h4>
<p>I should just r+ it</p>



<a name="231535279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535279">(Mar 23 2021 at 20:06)</a>:</h4>
<p>that was my thought, but I'm not familiar enough to feel comfortable approving</p>



<a name="231535385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535385">(Mar 23 2021 at 20:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231535039">said</a>:</p>
<blockquote>
<p>I was thining of scheduling some times and hopping on zoom and people can join if they want</p>
</blockquote>
<p>I'm more than happy to schedule some time</p>



<a name="231535411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535411">(Mar 23 2021 at 20:08)</a>:</h4>
<p>Also curious what your crazy ideas are</p>



<a name="231535456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535456">(Mar 23 2021 at 20:08)</a>:</h4>
<p>isn't a way to test <a href="https://github.com/rust-lang/rust/issues/83220">#83220</a>?</p>



<a name="231535464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535464">(Mar 23 2021 at 20:08)</a>:</h4>
<p>I'm pulling up my calendar</p>



<a name="231535484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535484">(Mar 23 2021 at 20:08)</a>:</h4>
<p>I guess the qestion is zoom vs zulip</p>



<a name="231535494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535494">(Mar 23 2021 at 20:08)</a>:</h4>
<p>if it's early morning I sort of prefer zulip</p>



<a name="231535551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535551">(Mar 23 2021 at 20:08)</a>:</h4>
<p>maybe 9am-10am the next 3 days ?</p>



<a name="231535560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535560">(Mar 23 2021 at 20:08)</a>:</h4>
<p>(ET)</p>



<a name="231535581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535581">(Mar 23 2021 at 20:08)</a>:</h4>
<p><time datetime="2021-03-24T13:00:00Z">2021-03-24T09:00:00-04:00</time> - <time datetime="2021-03-24T14:00:00Z">2021-03-24T10:00:00-04:00</time></p>



<a name="231535642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535642">(Mar 23 2021 at 20:09)</a>:</h4>
<p>I can do later on Tuesday/Thursdays</p>



<a name="231535663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535663">(Mar 23 2021 at 20:09)</a>:</h4>
<p>but MWF it has to be early</p>



<a name="231535676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535676">(Mar 23 2021 at 20:09)</a>:</h4>
<p>I'm kind of busy those other days anyway</p>



<a name="231535682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535682">(Mar 23 2021 at 20:09)</a>:</h4>
<p>I'm going to say those 3 hours</p>



<a name="231535731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535731">(Mar 23 2021 at 20:09)</a>:</h4>
<p>Alright I'm claiming tomorrow at 9am</p>



<a name="231535835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535835">(Mar 23 2021 at 20:10)</a>:</h4>
<p>Done :)</p>



<a name="231535852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535852">(Mar 23 2021 at 20:10)</a>:</h4>
<p>my crazy idea you already heard</p>



<a name="231535861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535861">(Mar 23 2021 at 20:10)</a>:</h4>
<p>I just wanted to repeat it here</p>



<a name="231535913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231535913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231535913">(Mar 23 2021 at 20:11)</a>:</h4>
<p>the idea of combining chalk + polonius + (yet to be written) MIR type system into a complete formal model for checking MIR code</p>



<a name="231536017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536017">(Mar 23 2021 at 20:12)</a>:</h4>
<p>So, what would the "MIR type system" checking do</p>



<a name="231536232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536232">(Mar 23 2021 at 20:13)</a>:</h4>
<p>well it would partly just create things to be proven by the other parts of the system</p>



<a name="231536238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536238">(Mar 23 2021 at 20:13)</a>:</h4>
<p>in fact it already kind of exists</p>



<a name="231536319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536319">(Mar 23 2021 at 20:14)</a>:</h4>
<p>um I don't know how our source tree is laid out anymore lol</p>



<a name="231536347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536347">(Mar 23 2021 at 20:14)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir/src/borrow_check/type_check/mod.rs">https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir/src/borrow_check/type_check/mod.rs</a></p>



<a name="231536354"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536354" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536354">(Mar 23 2021 at 20:14)</a>:</h4>
<p>basically that <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="231536386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536386">(Mar 23 2021 at 20:14)</a>:</h4>
<p>this isn't really a 100% actionable idea yet :)</p>



<a name="231536413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536413">(Mar 23 2021 at 20:15)</a>:</h4>
<p>the context was that I was talking about chalk with some folks who have experience with solvers</p>



<a name="231536439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536439">(Mar 23 2021 at 20:15)</a>:</h4>
<p>and talking about some of the challenges we face around figuring out how to model associated types and to extract answers</p>



<a name="231536476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536476">(Mar 23 2021 at 20:15)</a>:</h4>
<p>So instead of the current ad-hoc impl that would mean lowering MIR to chalk IR?</p>



<a name="231536495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536495">(Mar 23 2021 at 20:15)</a>:</h4>
<p>and they were basically advocating for looking for ways to push more of the work onto the solver</p>



<a name="231536539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536539">(Mar 23 2021 at 20:15)</a>:</h4>
<p>so like right now we say "prove this" and we get back a specific result</p>



<a name="231536636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536636">(Mar 23 2021 at 20:16)</a>:</h4>
<p>it's kind of moving the fulfillment context (in rust terms) and having just one big predicate</p>



<a name="231536670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536670">(Mar 23 2021 at 20:16)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231536476">said</a>:</p>
<blockquote>
<p>So instead of the current ad-hoc impl that would mean lowering MIR to chalk IR?</p>
</blockquote>
<p>well....</p>



<a name="231536709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536709">(Mar 23 2021 at 20:16)</a>:</h4>
<p>I guess it would mean a sort of function from a MIR body to a bunch of predicates that have to be proven</p>



<a name="231536746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536746">(Mar 23 2021 at 20:17)</a>:</h4>
<p>the nice thing about doing this on MIR is that all the fancy type inference stuff is done</p>



<a name="231536825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536825">(Mar 23 2021 at 20:17)</a>:</h4>
<p>But...don't you need Chalk to be able to <em>get</em> to MIR</p>



<a name="231536907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536907">(Mar 23 2021 at 20:18)</a>:</h4>
<p>well yes :)</p>



<a name="231536919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536919">(Mar 23 2021 at 20:18)</a>:</h4>
<p>this isn't really a solution to any of our problems per se, I guess, more like...</p>



<a name="231536931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536931">(Mar 23 2021 at 20:18)</a>:</h4>
<p>...an interesting building block</p>



<a name="231536963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231536963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231536963">(Mar 23 2021 at 20:18)</a>:</h4>
<p>it would be helpful for proving formal soundness of rust for example in a more complete way</p>



<a name="231537012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537012">(Mar 23 2021 at 20:19)</a>:</h4>
<p>in particular we could prove that MIR is type safe</p>



<a name="231537042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537042">(Mar 23 2021 at 20:19)</a>:</h4>
<p>The other bit, by the time you get to MIR, is there even an reference to traits at all?</p>



<a name="231537063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537063">(Mar 23 2021 at 20:19)</a>:</h4>
<p>tons</p>



<a name="231537090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537090">(Mar 23 2021 at 20:19)</a>:</h4>
<p>so first off mir has function calls</p>



<a name="231537096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537096">(Mar 23 2021 at 20:19)</a>:</h4>
<p>and they have where clauses</p>



<a name="231537108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537108">(Mar 23 2021 at 20:19)</a>:</h4>
<p>that have to be proven</p>



<a name="231537125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537125">(Mar 23 2021 at 20:20)</a>:</h4>
<p>but also MIR has types like <code>&lt;T as Foo&gt;::Bar</code> and so forth</p>



<a name="231537201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537201">(Mar 23 2021 at 20:20)</a>:</h4>
<p>so you can type check MIR, it's basically a really simple Rust where most of the type inference has been done for you</p>



<a name="231537211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537211">(Mar 23 2021 at 20:20)</a>:</h4>
<p>this is what the borrow checker does</p>



<a name="231537230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537230">(Mar 23 2021 at 20:20)</a>:</h4>
<p>in order to generate the constraints across regions</p>



<a name="231537253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537253">(Mar 23 2021 at 20:20)</a>:</h4>
<p>anyway, it's more just a cool thing to think about in the future than something that changes our actual problems</p>



<a name="231537261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537261">(Mar 23 2021 at 20:20)</a>:</h4>
<p>Okay, so when I think of MIR, I think of the "basic blocks", but I'm guessing MIR is actually a bit higher level than that</p>



<a name="231537265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537265">(Mar 23 2021 at 20:20)</a>:</h4>
<p>I guess my final thought is that</p>



<a name="231537320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537320">(Mar 23 2021 at 20:20)</a>:</h4>
<p>I think the broad focus on library-ification that I've been talking about</p>



<a name="231537348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537348">(Mar 23 2021 at 20:21)</a>:</h4>
<p>i'm contemplating a "rebrand" that is focused just on the shared type library + chalk ;)</p>



<a name="231537363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537363">(Mar 23 2021 at 20:21)</a>:</h4>
<p>because i thnk they're are a lot of consumers interested in that</p>



<a name="231537382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537382">(Mar 23 2021 at 20:21)</a>:</h4>
<p>and hoping I can get some more people to come and help out</p>



<a name="231537435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537435">(Mar 23 2021 at 20:21)</a>:</h4>
<p>(in particular, folks from within AWS and maybe other companies)</p>



<a name="231537440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537440">(Mar 23 2021 at 20:21)</a>:</h4>
<p>anyway we'll see..</p>



<a name="231537462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537462">(Mar 23 2021 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231537363">said</a>:</p>
<blockquote>
<p>because i thnk they're are a lot of consumers interested in that</p>
</blockquote>
<p>esp. folks trying to do more analysis on top of Rust</p>



<a name="231537470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537470">(Mar 23 2021 at 20:22)</a>:</h4>
<p>I mean, I think the library-ification, at least for us, <em>has</em> been shared type library + chalk</p>



<a name="231537514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537514">(Mar 23 2021 at 20:22)</a>:</h4>
<p>yes</p>



<a name="231537566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537566">(Mar 23 2021 at 20:22)</a>:</h4>
<p>these aren't really announcements</p>



<a name="231537571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537571">(Mar 23 2021 at 20:22)</a>:</h4>
<p>more just me thinking out loud</p>



<a name="231537575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537575">(Mar 23 2021 at 20:22)</a>:</h4>
<p>i'll stop now :)</p>



<a name="231537587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537587">(Mar 23 2021 at 20:22)</a>:</h4>
<p>Haha don't worry</p>



<a name="231537661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537661">(Mar 23 2021 at 20:23)</a>:</h4>
<p>I definitely would like to get the shared type library stuff pushed forward more</p>



<a name="231537712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537712">(Mar 23 2021 at 20:23)</a>:</h4>
<p>I'd like to see some examples types in <a href="https://github.com/rust-lang/rust/issues/83142">#83142</a></p>



<a name="231537723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537723">(Mar 23 2021 at 20:23)</a>:</h4>
<p>But that's a bit step forward</p>



<a name="231537742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537742">(Mar 23 2021 at 20:23)</a>:</h4>
<p>What happened to the whole skill tree plan?</p>



<a name="231537772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537772">(Mar 23 2021 at 20:24)</a>:</h4>
<p>that's kind of amazing</p>



<a name="231537805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537805">(Mar 23 2021 at 20:24)</a>:</h4>
<p>nothing, we just need to work on it</p>



<a name="231537864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537864">(Mar 23 2021 at 20:24)</a>:</h4>
<p>Yeah big shout out to <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> and <span class="user-mention" data-user-id="125131">@detrumi</span> for their work on that</p>



<a name="231537898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231537898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231537898">(Mar 23 2021 at 20:24)</a>:</h4>
<p>Turned out to be simpler than expected</p>



<a name="231538032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538032">(Mar 23 2021 at 20:25)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> was going to try it out with some of the types</p>



<a name="231538042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538042">(Mar 23 2021 at 20:25)</a>:</h4>
<p>It's kind of interesting that the <code>Interner</code> type ended up essentially getting coopted into <em>actually</em> essentially being interning</p>



<a name="231538199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538199">(Mar 23 2021 at 20:26)</a>:</h4>
<p>let me read the code</p>



<a name="231538201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538201">(Mar 23 2021 at 20:26)</a>:</h4>
<p>Also, will be glad when we can finally get the binder refactor merged</p>



<a name="231538216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538216">(Mar 23 2021 at 20:27)</a>:</h4>
<p>that's coming up on like 6 months of work</p>



<a name="231538223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538223">(Mar 23 2021 at 20:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231538042">said</a>:</p>
<blockquote>
<p>It's kind of interesting that the <code>Interner</code> type ended up essentially getting coopted into <em>actually</em> essentially being interning</p>
</blockquote>
<p>I don't understand this :)</p>



<a name="231538278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538278">(Mar 23 2021 at 20:27)</a>:</h4>
<p>So,</p>



<a name="231538323"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538323" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538323">(Mar 23 2021 at 20:27)</a>:</h4>
<p>In <code>Decoder</code>/<code>Encoder</code></p>



<a name="231538344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538344">(Mar 23 2021 at 20:27)</a>:</h4>
<p>(Well, I think just <code>Decoder</code>?)</p>



<a name="231538413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538413">(Mar 23 2021 at 20:28)</a>:</h4>
<p>We need to intern types</p>



<a name="231538445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538445">(Mar 23 2021 at 20:28)</a>:</h4>
<p>I'm skimming this PR -- it's so cool!</p>



<a name="231538448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538448">(Mar 23 2021 at 20:28)</a>:</h4>
<p>And, before, these were all going through <code>TyCtxt</code></p>



<a name="231538470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538470">(Mar 23 2021 at 20:28)</a>:</h4>
<p>But now they're split out</p>



<a name="231538535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538535">(Mar 23 2021 at 20:29)</a>:</h4>
<div class="message_inline_image"><a href="https://i.imgur.com/7drHiqr.gif"><img src="https://i.imgur.com/7drHiqr.gif"></a></div>



<a name="231538585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538585">(Mar 23 2021 at 20:29)</a>:</h4>
<p>I haven't had the time to really go through it</p>



<a name="231538627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538627">(Mar 23 2021 at 20:29)</a>:</h4>
<p>yeah I just read it and i'm like</p>



<a name="231538637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538637">(Mar 23 2021 at 20:29)</a>:</h4>
<p>"wait"</p>



<a name="231538657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538657">(Mar 23 2021 at 20:30)</a>:</h4>
<p>But I think we might be able to have an extension trait so each new type doesn't need a "alloc_" function</p>



<a name="231538729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538729">(Mar 23 2021 at 20:30)</a>:</h4>
<p>"this is too nice, what's the catch"</p>



<a name="231538731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538731">(Mar 23 2021 at 20:30)</a>:</h4>
<p>and also, might just be able to impl <code>Interner</code> for <code>TyCtxt</code> directly</p>



<a name="231538767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538767">(Mar 23 2021 at 20:30)</a>:</h4>
<p>I don't think there's any catch</p>



<a name="231538773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538773">(Mar 23 2021 at 20:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231538731">said</a>:</p>
<blockquote>
<p>and also, might just be able to impl <code>Interner</code> for <code>TyCtxt</code> directly</p>
</blockquote>
<p>this was always my expectation</p>



<a name="231538782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538782">(Mar 23 2021 at 20:30)</a>:</h4>
<p>Just a bit extra boilerplate atm</p>



<a name="231538930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538930">(Mar 23 2021 at 20:31)</a>:</h4>
<p>But, I think this gets us over the hurdle of coherence</p>



<a name="231538934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538934">(Mar 23 2021 at 20:31)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231538032">said</a>:</p>
<blockquote>
<p>I think <span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> was going to try it out with some of the types</p>
</blockquote>
<p>Yes, intended to make a bunch of progress on that for this meeting... Unfortunatelly we went into a fourth lockdown and having a two year old around conflicted with this plan. Nevertheless I will do my best to make some time for it this week</p>



<a name="231538942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231538942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231538942">(Mar 23 2021 at 20:31)</a>:</h4>
<p>At least for <code>Encoder</code>/<code>Decoder</code></p>



<a name="231539019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539019">(Mar 23 2021 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="283967">@Zahari Dichev</span> no rush, don't feel pressured. It's already so awesome</p>



<a name="231539065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539065">(Mar 23 2021 at 20:32)</a>:</h4>
<p>I think the "catch" is that i'm trying to figure out just what the scope of this PR is</p>



<a name="231539099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539099">(Mar 23 2021 at 20:33)</a>:</h4>
<p>I think I'm also going to pick up on the shared type library front again after I figure out the Chalk closure situation</p>



<a name="231539103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539103">(Mar 23 2021 at 20:33)</a>:</h4>
<p>it's a bit more narrow than I thought at first, but still very awesome</p>



<a name="231539144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539144">(Mar 23 2021 at 20:33)</a>:</h4>
<p>Feels a bit like moving desk chairs around but it is been quite educational. I think bridging the gap between the chalk interner and the shared lib one will most likely give me quite a bit of detail around how things fit together</p>



<a name="231539209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539209">(Mar 23 2021 at 20:33)</a>:</h4>
<p>Yeah, so far the scope here is narrow. I think the "next" step, either in this PR or a followup is actually moving types from <code>rustc_middle</code> to <code>rustc_type_ir</code></p>



<a name="231539276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Zahari Dichev <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539276">(Mar 23 2021 at 20:34)</a>:</h4>
<p>that is what I was going to attempt next</p>



<a name="231539315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539315">(Mar 23 2021 at 20:34)</a>:</h4>
<p>does this PR introduce the <code>Interner</code> trait?</p>



<a name="231539346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539346">(Mar 23 2021 at 20:34)</a>:</h4>
<p>I'm looking at <a href="https://doc.rust-lang.org/nightly/nightly-rustc/rustc_type_ir/index.html">https://doc.rust-lang.org/nightly/nightly-rustc/rustc_type_ir/index.html</a> and there isn't a lot there</p>



<a name="231539387"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539387" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539387">(Mar 23 2021 at 20:34)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/pull/83142/files#diff-7a74642de56571828dfff5935b6163543cfdc773bf8c283eb74cad755a0f5fa2R17">https://github.com/rust-lang/rust/pull/83142/files#diff-7a74642de56571828dfff5935b6163543cfdc773bf8c283eb74cad755a0f5fa2R17</a></p>



<a name="231539440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539440">(Mar 23 2021 at 20:35)</a>:</h4>
<p>yeah ok</p>



<a name="231539460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539460">(Mar 23 2021 at 20:35)</a>:</h4>
<p>I'm seeing now</p>



<a name="231539497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539497">(Mar 23 2021 at 20:35)</a>:</h4>
<p>neat!</p>



<a name="231539593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539593">(Mar 23 2021 at 20:36)</a>:</h4>
<p>The other big thing that we need to decide is what to do about <code>Param</code> and <code>ReEarlyBound</code></p>



<a name="231539693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539693">(Mar 23 2021 at 20:37)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> if you want to do any hacking, that's what I would do :)</p>



<a name="231539771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539771">(Mar 23 2021 at 20:37)</a>:</h4>
<p>yeah, I have that old branch</p>



<a name="231539787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231539787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231539787">(Mar 23 2021 at 20:37)</a>:</h4>
<p>maybe I will take a stab on thu at recreating it :)</p>



<a name="231540014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540014">(Mar 23 2021 at 20:39)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-03-23/near/231538657">said</a>:</p>
<blockquote>
<p>But I think we might be able to have an extension trait so each new type doesn't need a "alloc_" function</p>
</blockquote>
<p>I'll take a look at that</p>



<a name="231540047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540047">(Mar 23 2021 at 20:39)</a>:</h4>
<p><span class="user-mention" data-user-id="129457">@Florian Diebold</span> mentioned somewhat related: <a href="#narrow/stream/144729-wg-traits/topic/representation.20of.20type.20parameters/near/231030703">https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/representation.20of.20type.20parameters/near/231030703</a></p>



<a name="231540090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540090">(Mar 23 2021 at 20:40)</a>:</h4>
<p>I almost wonder if it's just easier to change Chalk :/</p>



<a name="231540293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540293">(Mar 23 2021 at 20:41)</a>:</h4>
<p>I have wondered that</p>



<a name="231540296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540296">(Mar 23 2021 at 20:41)</a>:</h4>
<p>I didn't read that topic</p>



<a name="231540302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540302">(Mar 23 2021 at 20:41)</a>:</h4>
<p>let me skim it now</p>



<a name="231540317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540317">(Mar 23 2021 at 20:41)</a>:</h4>
<p>I do think it might be easy to change chalk, but I'm not sure how I feel about it</p>



<a name="231540353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540353">(Mar 23 2021 at 20:41)</a>:</h4>
<p>I honestly don't know how I feel about it</p>



<a name="231540416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540416">(Mar 23 2021 at 20:42)</a>:</h4>
<p>I think I really <em>want</em> to change rustc</p>



<a name="231540463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540463">(Mar 23 2021 at 20:42)</a>:</h4>
<p>there is also the option of changing chalk and <em>then</em> changing rustc</p>



<a name="231540479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540479">(Mar 23 2021 at 20:42)</a>:</h4>
<p>right</p>



<a name="231540492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540492">(Mar 23 2021 at 20:42)</a>:</h4>
<p>that said, I want to take one more stab at my branch, I did feel like it was bringing a bit of structure to rustc that felt nice</p>



<a name="231540522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540522">(Mar 23 2021 at 20:42)</a>:</h4>
<p>also</p>



<a name="231540547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540547">(Mar 23 2021 at 20:43)</a>:</h4>
<p>well, so, the main downside is that we have to thread more context down</p>



<a name="231540582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540582">(Mar 23 2021 at 20:43)</a>:</h4>
<p>(this is what <span class="user-mention" data-user-id="129457">@Florian Diebold</span> seemed to be highlighting, primarily, right?)</p>



<a name="231540600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540600">(Mar 23 2021 at 20:43)</a>:</h4>
<p>but really we should be doing this anyway for late-bound things</p>



<a name="231540731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540731">(Mar 23 2021 at 20:44)</a>:</h4>
<p>right</p>



<a name="231540784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540784">(Mar 23 2021 at 20:44)</a>:</h4>
<p>(that's also probably the issue we're going to face with pretty-printing late bound vars)</p>



<a name="231540827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231540827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231540827">(Mar 23 2021 at 20:44)</a>:</h4>
<p>yes, for us this is currently the only case where we aren't just able to display a type without context (except we are, because we do <a href="https://github.com/rust-analyzer/rust-analyzer/blob/d702f10fb345637e82f3fb9606f5aba243df5365/crates/hir_ty/src/lib.rs#L1253-L1259">this</a>, but I guess that's not the intended usage)</p>



<a name="231541047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541047">(Mar 23 2021 at 20:46)</a>:</h4>
<p>so</p>



<a name="231541051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541051">(Mar 23 2021 at 20:46)</a>:</h4>
<p>that's true</p>



<a name="231541059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541059">(Mar 23 2021 at 20:46)</a>:</h4>
<p>otoh, within rustc at least,</p>



<a name="231541079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541079">(Mar 23 2021 at 20:46)</a>:</h4>
<p>there was always the question of e.g. knowing what imports are in scope so we can avoid full paths</p>



<a name="231541098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541098">(Mar 23 2021 at 20:47)</a>:</h4>
<p>although I think we've wound up with some heuristics around that that seem very good</p>



<a name="231541181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541181">(Mar 23 2021 at 20:47)</a>:</h4>
<p>we do have a higher-level <code>Type</code> that's used by all the IDE stuff that keeps more context</p>



<a name="231541197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541197">(Mar 23 2021 at 20:47)</a>:</h4>
<p>so maybe it wouldn't actually be so bad</p>



<a name="231541262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541262">(Mar 23 2021 at 20:48)</a>:</h4>
<p>the other point is that it's not obvious to me that we <em>need</em> the indices to be small integers</p>



<a name="231541319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541319">(Mar 23 2021 at 20:48)</a>:</h4>
<p>obviously it has certain advantages</p>



<a name="231541321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541321">(Mar 23 2021 at 20:48)</a>:</h4>
<p>it's working fine for us with big integers right now <span aria-label="grimacing" class="emoji emoji-1f62c" role="img" title="grimacing">:grimacing:</span></p>



<a name="231541402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541402">(Mar 23 2021 at 20:49)</a>:</h4>
<p>at least it seems to be</p>



<a name="231541569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541569">(Mar 23 2021 at 20:50)</a>:</h4>
<p>But <span class="user-mention" data-user-id="116009">@nikomatsakis</span> I would love for you to pick that work back up &lt;3</p>



<a name="231541589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541589">(Mar 23 2021 at 20:50)</a>:</h4>
<p>I gotta review your PRs first</p>



<a name="231541617"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541617" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541617">(Mar 23 2021 at 20:50)</a>:</h4>
<p>yes</p>



<a name="231541629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541629">(Mar 23 2021 at 20:50)</a>:</h4>
<p>but we'll have some discussion tomorrow</p>



<a name="231541674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541674">(Mar 23 2021 at 20:51)</a>:</h4>
<p>yeah</p>



<a name="231541703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541703">(Mar 23 2021 at 20:51)</a>:</h4>
<p>At some point I might <span class="user-mention" data-user-id="251766">@Areredify</span>'s placeholder canonicalization branch</p>



<a name="231541719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541719">(Mar 23 2021 at 20:51)</a>:</h4>
<p>(if they don't get to it)</p>



<a name="231541727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541727">(Mar 23 2021 at 20:51)</a>:</h4>
<p>i'm thining about the skill tree</p>



<a name="231541744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541744">(Mar 23 2021 at 20:51)</a>:</h4>
<p>I do feel a bit lost myself and would love to have a clearer picture of the path we're following :)</p>



<a name="231541752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541752">(Mar 23 2021 at 20:51)</a>:</h4>
<p>Also GATs!</p>



<a name="231541780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541780">(Mar 23 2021 at 20:52)</a>:</h4>
<p>yeah, i have to get my head oriented around that stuff again</p>



<a name="231541842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541842">(Mar 23 2021 at 20:52)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> introduced the named impl trait feature gates though, which is great</p>



<a name="231541844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541844">(Mar 23 2021 at 20:52)</a>:</h4>
<p>I think the big thing we're waiting for is trait objects from <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>? (though I might try taking a look)</p>



<a name="231541872"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541872" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541872">(Mar 23 2021 at 20:52)</a>:</h4>
<p>Yes, and named impl trait</p>



<a name="231541973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231541973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231541973">(Mar 23 2021 at 20:53)</a>:</h4>
<p>I have a vague sense of where things are and what needs to be done in my head, but it would be good to write it all down</p>



<a name="231542050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542050">(Mar 23 2021 at 20:54)</a>:</h4>
<p>I feel like things were clear-ish but then I've lost the plot a bit, woudl be good to get it back</p>



<a name="231542062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542062">(Mar 23 2021 at 20:54)</a>:</h4>
<p>ok, well, I have to run but I'll be arond 9-10am next 3 days</p>



<a name="231542074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542074">(Mar 23 2021 at 20:54)</a>:</h4>
<p>maybe I'll try to make that a more regular chalk slot, we'll see</p>



<a name="231542088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542088">(Mar 23 2021 at 20:54)</a>:</h4>
<p>too many plot twists <span aria-label="smirk" class="emoji emoji-1f60f" role="img" title="smirk">:smirk:</span></p>



<a name="231542185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542185">(Mar 23 2021 at 20:55)</a>:</h4>
<p>I mean, if nobody else needs your time <span class="user-mention" data-user-id="116009">@nikomatsakis</span> those three days, I'm down to just work through the PRs and push those over the line</p>



<a name="231542199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542199">(Mar 23 2021 at 20:55)</a>:</h4>
<p>(or attempt to)</p>



<a name="231542581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542581">(Mar 23 2021 at 20:58)</a>:</h4>
<p>that's what I would like to do</p>



<a name="231542596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231542596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231542596">(Mar 23 2021 at 20:58)</a>:</h4>
<p>that plus <span class="user-mention" data-user-id="365822">@FireFighterDuck</span>'s PRs...</p>



<a name="231543482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-03-23/near/231543482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-03-23.html#231543482">(Mar 23 2021 at 21:04)</a>:</h4>
<p>That works for me :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>